Monadic vs adjoint decomposition
نویسندگان
چکیده
It is known that the so-called monadic decomposition, applied to adjunction connecting category of bialgebras vector spaces via tensor and primitive functors , returns usual between (restricted) Lie algebras . Moreover, in this framework, notions augmented monad combinatorial rank play a central role. In order set these results into wider context, we are led substitute decomposition by what call adjoint decomposition. This construction has advantage reducing computational complexity when compared first one. We connect two decompositions means an embedding investigate its properties using relative version Grothendieck fibration As application, setting, notion monad, introduce that, among other things, expected give some hints on length
منابع مشابه
On Monadic NP vs. Monadic co-NP
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic (1 ;). Monadic NP is the class of problems expressible in monadic Z;, i.e., 1: with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations). We prove that connectivity of finite graph...
متن کاملDomain Decomposition vs
Domain Decomposition (DD) techniques are not only the basic tools for data partitioning but also methods for constructing new parallel pde solvers. Domain Decomposition, mesh adaption and load balance seem to be in contradiction to the eecient use of massively parallel computers with serveral hundered, or even several thousand powerful, distributed memory processors. In the case of plane bounda...
متن کاملSpectral Decomposition of Self-adjoint Quadratic Pencils and Its Applications
Spectral decomposition is of fundamental importance in many applications. Generally speaking, spectral decomposition provides a canonical representation of a linear operator over a vector space in terms of its eigenvalues and eigenfunctions. The canonical form often facilitates discussions which, otherwise, would be complicated and involved. This paper generalizes the classical results of eigen...
متن کاملDomain Decomposition vs. Concurrent Multigrid Domain Decomposition vs. Concurrent Multigrid 1
We compare the performance on a concurrent computer of two domaindecomposition methods and a full-multigrid method for solving the Poisson equation on a square. Independent of the granularity of the computation, domain decomposition is almost always signi cantly slower than multigrid. Our largest computations use a multicomputer with 128 nodes to solve a problem on a 2048 2048 grid. In these co...
متن کاملMonadic Fold, Monadic Build, Monadic Short Cut Fusion
Short cut fusion improves the efficiency of modularly constructed programs by eliminating intermediate data structures produced by one program component and immediately consumed by another. We define a combinator which expresses uniform production of data structures in monadic contexts, and is the natural counterpart to the well-known monadic fold which consumes them. Like the monadic fold, our...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2022
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2021.106945